1. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
E-Book
,
2. A manual of intensional logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
P
25
.
C28
No
.
1
3. Categorial grammar /
پدیدآورنده : edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categorial grammar
رده :
P161
.
C38
1988
4. Categorial grammar
پدیدآورنده : edited by Wojech Buszkowski, witold Marciszewski, Johan van Benthem
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Categoria grammar
رده :
P
161
.
C38
1988
5. Games, norms and reasons :logic at the crossroads
پدیدآورنده : Johan van Benthem, Amitabba Gupta and Eric Pacuit
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Parikh, Rohit,6391-,Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical
رده :
BC
108
.
G36
2011
6. Handbook of Logic and Language
پدیدآورنده : / van Benthem, Johan F.A.K.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
8. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
9. Handbook of logic and language
پدیدآورنده : ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
10. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
11. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
12. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
13. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
14. Logic in games /
پدیدآورنده : Johan van Benthem
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory,Logic
رده :
QA269
.
B36
2014
15. Modal logic and classical logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Logic
رده :
BC
199
.
M6B46
1985
16. Models of Strategic Reasoning.
پدیدآورنده : \ Johan van Benthem , Sujata Ghosh, Rineke Verbrugge (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Games of strategy (Mathematics)
رده :
QA
270
.
M6
2015
E-Book
,
17. Philosophy of Information
پدیدآورنده : \ Edited By Pieter Adriaans and Johan Van Benthem
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : نظریه اطلاعات -- فلسفه
رده :
Q
360
.
P5
18. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Information theory
19. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Information theory
رده :
Q
360
.
P45
20. Proof, computation and agency :
پدیدآورنده : edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
